翻訳と辞書 |
Presburger Award : ウィキペディア英語版 | Presburger Award The Presburger Award, started in 2010, is awarded each year by the European Association for Theoretical Computer Science (EATCS) to "a young scientist for outstanding contributions in theoretical computer science, documented by a published paper or a series of published papers." The award is named after Mojżesz Presburger who accomplished his path-breaking work on decidability of the theory of addition (which today is called Presburger arithmetic) as a student in 1929. Past recipients of the award are: * Mikołaj Bojańczyk (2010)〔(【引用サイトリンク】 title=Presburger Award, EATCS )〕 * Patricia Bouyer-Decitre (2011)〔 * Venkatesan Guruswami and Mihai Pătraşcu (2012)〔(【引用サイトリンク】 title=Presburger Award 2012, EATCS )〕 * Erik Demaine (2013) 〔(【引用サイトリンク】 title=Presburger Award 2013, EATCS )〕 * David Woodruff (2014) 〔(【引用サイトリンク】 title=Presburger Award 2014, EATCS )〕 ==References==
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Presburger Award」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|